FDL - Nuprl Definition : gcd

Nuprl Definition : gcd_reduce

11,40

gcd_reduce(p; q) == spreadn((TERMOF{gcd-reduce:ObjectId, 1:l}(p,q)); g,a,b,rest.<g, a, b>)

Definitions <a, b>, gcd-reduce, f(a), spreadn(a; w,x,y,z.t(w;x;y;z))

FDL editor aliases gcd_reduce

Definitions	<a, b>, gcd-reduce, f(a), spreadn(a; w,x,y,z.t(w;x;y;z))
FDL editor aliases	gcd_reduce